\begin{tabbing}
$\forall$$X$:es\_realizer\{i:l\}, $P$:(event\_system\{i:l\}$\rightarrow$prop\{i':l\}).
\\[0ex]R{-}Feasible\=\{i:l\}\+
\\[0ex]($X$)
\-\\[0ex]$\Rightarrow$ ($\forall$${\it es}$:event\_system\{i:l\}. R{-}consistent($X$; ${\it es}$) $\Rightarrow$ $P$(${\it es}$))
\\[0ex]$\Rightarrow$ es{-}real\=\{i:l\}\+
\\[0ex](${\it es}$.$P$(${\it es}$))
\-
\end{tabbing}